Type-checking move-curb-to-curb
...action passes type checking.
Type-checking move-curb-to-car
...action passes type checking.
Type-checking move-car-to-curb
...action passes type checking.
Type-checking move-car-to-car
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 20
1:
(move-curb-to-curb car_3 curb_2 curb_3)
 
2:
(move-car-to-curb car_1 car_2 curb_2)
 
3:
(move-curb-to-car car_0 curb_1 car_2)
 
4:
(move-car-to-curb car_0 car_2 curb_1)
 
5:
(move-curb-to-car car_0 curb_1 car_2)
 
6:
(move-car-to-curb car_0 car_2 curb_1)
 
7:
(move-curb-to-car car_0 curb_1 car_3)
 
8:
(move-car-to-curb car_0 car_3 curb_1)
 
9:
(move-curb-to-car car_2 curb_0 car_1)
 
10:
(move-car-to-curb car_2 car_1 curb_0)
 
11:
(move-curb-to-car car_0 curb_1 car_2)
 
12:
(move-car-to-curb car_0 car_2 curb_1)
 
13:
(move-curb-to-car car_0 curb_1 car_3)
 
14:
(move-car-to-curb car_0 car_3 curb_1)
 
15:
(move-curb-to-car car_2 curb_0 car_1)
 
16:
(move-car-to-curb car_2 car_1 curb_0)
 
17:
(move-curb-to-car car_0 curb_1 car_3)
 
18:
(move-curb-to-curb car_1 curb_2 curb_1)
 
19:
(move-curb-to-curb car_2 curb_0 curb_2)
 
20:
(move-car-to-curb car_0 car_3 curb_0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (curb-clear curb_3)
Deleting (at-curb-num car_3 curb_2)
Adding (curb-clear curb_2)
Adding (at-curb-num car_3 curb_3)
Updating (total-cost) (0) by 1 increase

Checking next happening (time 2)
Deleting (curb-clear curb_2)
Deleting (behind-car car_1 car_2)
Adding (car-clear car_2)
Adding (at-curb-num car_1 curb_2)
Adding (at-curb car_1)
Updating (total-cost) (1) by 1 increase

Checking next happening (time 3)
Deleting (car-clear car_2)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_2)
Updating (total-cost) (2) by 1 increase

Checking next happening (time 4)
Deleting (curb-clear curb_1)
Deleting (behind-car car_0 car_2)
Adding (car-clear car_2)
Adding (at-curb-num car_0 curb_1)
Adding (at-curb car_0)
Updating (total-cost) (3) by 1 increase

Checking next happening (time 5)
Deleting (car-clear car_2)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_2)
Updating (total-cost) (4) by 1 increase

Checking next happening (time 6)
Deleting (curb-clear curb_1)
Deleting (behind-car car_0 car_2)
Adding (car-clear car_2)
Adding (at-curb-num car_0 curb_1)
Adding (at-curb car_0)
Updating (total-cost) (5) by 1 increase

Checking next happening (time 7)
Deleting (car-clear car_3)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_3)
Updating (total-cost) (6) by 1 increase

Checking next happening (time 8)
Deleting (curb-clear curb_1)
Deleting (behind-car car_0 car_3)
Adding (car-clear car_3)
Adding (at-curb-num car_0 curb_1)
Adding (at-curb car_0)
Updating (total-cost) (7) by 1 increase

Checking next happening (time 9)
Deleting (car-clear car_1)
Deleting (at-curb-num car_2 curb_0)
Deleting (at-curb car_2)
Adding (curb-clear curb_0)
Adding (behind-car car_2 car_1)
Updating (total-cost) (8) by 1 increase

Checking next happening (time 10)
Deleting (curb-clear curb_0)
Deleting (behind-car car_2 car_1)
Adding (car-clear car_1)
Adding (at-curb-num car_2 curb_0)
Adding (at-curb car_2)
Updating (total-cost) (9) by 1 increase

Checking next happening (time 11)
Deleting (car-clear car_2)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_2)
Updating (total-cost) (10) by 1 increase

Checking next happening (time 12)
Deleting (curb-clear curb_1)
Deleting (behind-car car_0 car_2)
Adding (car-clear car_2)
Adding (at-curb-num car_0 curb_1)
Adding (at-curb car_0)
Updating (total-cost) (11) by 1 increase

Checking next happening (time 13)
Deleting (car-clear car_3)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_3)
Updating (total-cost) (12) by 1 increase

Checking next happening (time 14)
Deleting (curb-clear curb_1)
Deleting (behind-car car_0 car_3)
Adding (car-clear car_3)
Adding (at-curb-num car_0 curb_1)
Adding (at-curb car_0)
Updating (total-cost) (13) by 1 increase

Checking next happening (time 15)
Deleting (car-clear car_1)
Deleting (at-curb-num car_2 curb_0)
Deleting (at-curb car_2)
Adding (curb-clear curb_0)
Adding (behind-car car_2 car_1)
Updating (total-cost) (14) by 1 increase

Checking next happening (time 16)
Deleting (curb-clear curb_0)
Deleting (behind-car car_2 car_1)
Adding (car-clear car_1)
Adding (at-curb-num car_2 curb_0)
Adding (at-curb car_2)
Updating (total-cost) (15) by 1 increase

Checking next happening (time 17)
Deleting (car-clear car_3)
Deleting (at-curb-num car_0 curb_1)
Deleting (at-curb car_0)
Adding (curb-clear curb_1)
Adding (behind-car car_0 car_3)
Updating (total-cost) (16) by 1 increase

Checking next happening (time 18)
Deleting (curb-clear curb_1)
Deleting (at-curb-num car_1 curb_2)
Adding (curb-clear curb_2)
Adding (at-curb-num car_1 curb_1)
Updating (total-cost) (17) by 1 increase

Checking next happening (time 19)
Deleting (curb-clear curb_2)
Deleting (at-curb-num car_2 curb_0)
Adding (curb-clear curb_0)
Adding (at-curb-num car_2 curb_2)
Updating (total-cost) (18) by 1 increase

Checking next happening (time 20)
Deleting (curb-clear curb_0)
Deleting (behind-car car_0 car_3)
Adding (car-clear car_3)
Adding (at-curb-num car_0 curb_0)
Adding (at-curb car_0)
Updating (total-cost) (19) by 1 increase
Plan executed successfully - checking goal
Plan valid
Final value: 20 

Successful plans:
Value: 20
 <PATH_REMOVED> 20 


plan is valid!!